Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Proof-complexity results for nonmonotonic reasoning

Année:
2001
Langue:
english
Fichier:
PDF, 541 KB
english, 2001
4

Stepwise debugging of answer-set programs

Année:
2018
Langue:
english
Fichier:
PDF, 1.10 MB
english, 2018
6

On Different Proof-Search Strategies for Orthologic

Année:
2003
Fichier:
PDF, 3.44 MB
2003
18

A framework for compiling preferences in logic programs

Année:
2003
Langue:
english
Fichier:
PDF, 683 KB
english, 2003
21

A knowledge-based approach for selecting information sources

Année:
2007
Langue:
english
Fichier:
PDF, 400 KB
english, 2007
22

A many-sorted variant of Japaridze’s polymodal provability logic

Année:
2018
Langue:
english
Fichier:
PDF, 547 KB
english, 2018
23

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic

Année:
2020
Fichier:
PDF, 424 KB
2020